Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 2021 Utgivningsland okänt / Ej specificerat